Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch TTÜ Küberneetika Instituut Tallinn, Estonia

Source URL: www.cs.bham.ac.uk

Syntax-based Theory and Implementation of Bigraphical Reactive Systems Troels C. Damgaard () Programming, Logics and Semantics (PLS) Group IT University of Copenhagen Denmark

Source URL: www.itu.dk

Functional Reactive Programming on iOS Functional reactive programming introduction using ReactiveCocoa Ash Furrow This book is for sale at http://leanpub.com/iosfrp This version was published on

Source URL: samples.leanpub.com

Syntax-based Theory and Implementation of Bigraphical Reactive Systems Troels C. Damgaard () Programming, Logics and Semantics (PLS) Group IT University of Copenhagen Denmark

Source URL: www.itu.dk

2014 IEEE Security and Privacy Workshops R  LEGO Bricks for Reactive Programming

Source URL: ieee-security.org

Syntax-based Theory and Implementation of Bigraphical Reactive Systems Troels C. Damgaard () Programming, Logics and Semantics (PLS) Group IT University of Copenhagen Denmark

Source URL: www.itu.dk

RAY: Integrating Rx and Async for Direct-Style Reactive Streams Philipp Haller Heather Miller

Source URL: infoscience.epfl.ch

• Functional languages
• Actor model
• Futures and promises
• Inter-process communication
• Observer pattern
• Scala
• Continuation
• Errors and residuals in statistics
• Computing
• Software engineering
• Computer programming

Philipp Haller ! Chemin du Bochet 46 CH-1025 St-Sulpice Switzerland

Source URL: lampwww.epfl.ch

• Functional languages
• Martin Odersky
• Scala programming language
• Scala
• Object-oriented programming
• European Conference on Object-Oriented Programming
• Actor model
• Reactive programming
• Concurrent computing
• Computing
• Software engineering
• Computer programming

Mobile Reactive Programming in ULM ´ Stephane Epardaud Inria Sophia-Antipolis 2004 route des Lucioles - BP 93

Source URL: repository.readscheme.org

• Subroutines
• Concurrency control
• Continuations
• Swabian League
• Tübingen
• Ulm
• Esterel
• Closure
• Global variable
• Software engineering
• Computer programming
• Computing

Safety Verification of Reactive Controllers for UAV Flight in Cluttered Environments using Barrier Certificates Andrew J. Barry, Anirudha Majumdar, and Russ Tedrake Abstract— Unmanned aerial vehicles (UAVs) have a so-f

Source URL: abarry.org

• Operations research
• Mathematical optimization
• Dynamical systems
• Control theory
• Cybernetics
• Linear programming
• Interior point method
• Convex optimization
• Vector space
• Mathematics
• Algebra
• Mathematical analysis